Solution of some problems in the arithmetical complexity of first-order fuzzy logics
نویسندگان
چکیده
This short paper addresses the open problems left in the paper [5]. Besides giving solutions to these two problems, some clarification concerning the role of the full vocabulary (including functional symbols) in the proofs there given is also discussed.
منابع مشابه
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
All promiment examples of first-order predicate fuzzy logics are undecidable. This leads to the problem of the arithmetical complexity of their sets of tautologies and satisfiable sentences. This paper is a contribution to the general study of this problem. We propose the classes of first-order core and ∆-core fuzzy logics as a good framework to address these arithmetical complexity issues. We ...
متن کاملNumerical Solution of fuzzy differential equations of nth-order by Adams-Moulton method
In recent years, Fuzzy differential equations are very useful indifferent sciences such as physics, chemistry, biology and economy. It should be noted, that if the equations that appear to be uncertain, then take help of fuzzy logic at these equations. Considering that most of the time analytic solution of such equations and finding an exact solution has either high complexity or cannot be solv...
متن کاملOn Fuzzy Solution for Exact Second Order Fuzzy Differential Equation
In the present paper, the analytical solution for an exact second order fuzzy initial value problem under generalized Hukuhara differentiability is obtained. First the solution of first order linear fuzzy differential equation under generalized Hukuhara differentiability is investigated using integration factor methods in two cases. The second based on the type of generalized Hukuhara different...
متن کاملSome new results on semi fully fuzzy linear programming problems
There are two interesting methods, in the literature, for solving fuzzy linear programming problems in which the elements of coefficient matrix of the constraints are represented by real numbers and rest of the parameters are represented by symmetric trapezoidal fuzzy numbers. The first method, named as fuzzy primal simplex method, assumes an initial primal basic feasible solution is at hand. T...
متن کامل